=
Now for the details of what you can put inside the boxes.
The first thing to notice is that multi-letter identifiers look
better than they do with vanilla LATEX: instead of
Almost all of the mathematical symbols of LATEX can be used, plus
a few extra ones listed below.
The mnemonics I've chosen may seem a little mad, but that's life.
The LATEX symbols you can't use are the ones whose
names have been redefined:
mostly these are the same symbol, but with the spacing fixed for
use in Z specifications.
First, there are some new arrows, and some new names for old ones:
There are also `accents'
and some new operators:
The unique quantifier ∃1 can be typeset as
as well as a few fancy brackets:
Finally, the following bits and pieces come with the right spacing for Z:
Some of these are duplicates of binary operators listed above, but with
names more appropriate to their use in schema-expressions; there is
also a little more spacing in these variants.
And that's about it.